\begin{tabbing} $k$ affects only members of $L$ \\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=mk{-}ma(;\+ \\[0ex]; \\[0ex]; \\[0ex]; \\[0ex]; \\[0ex]; \\[0ex]; \\[0ex]; \\[0ex]$k$ : $L$; \\[0ex]; \\[0ex]) \- \end{tabbing}